(: Listar os livros publicados pela Eva Corets depois de 2000, incluindo seu ano e título :)
xquery version "1.0";
  for $a in doc("book_p1.xml")/catalog/book
  return $a
